Approaching algebraic proof at lower secondary school level: developing and testing an analytical toolkit