Inductive Programming in mm
thursdays.null.tl