LPO Proofs in Two Educational Contexts Topics: Instructional Design; Intelligent Learning and Teaching Systems; Tools to Assess Learning In Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU, 270-278, 2021