Element 'automatic verification of solutions to problems'