Proving the unprovable | lit.salon