Endy: PTL Logic