Fat logic described in less than 140 characters: