true_goal.why 34 Bytes