Added some functions
Added my solution of Motions excercise in Agda