playing with maximas latex