loft aspect of pigeon, 4 assertions