Files of the "Implementing the true subset puzzle" post