Last Thursdayism can be proved Part 1