more automatedtesting for and3; newline at the nd of MyLogic.hs