Students engaged in proving - participants in an inquiry process or executers of a predetermined script?