Ideal Logic and Attendance