More logic can be found in John Baez’s latest This Week’s Finds in Mathematical Physics (no. 227), along with pictures of Martian sand-dunes.