inconsistencies Caligula proofs cruft PostgreSQL advisor hoops Pekineses blacker unreserved technologist