@PaulWermer @antifuchs @koronkebitch Occam’s proofer