The secret joke of Kant's soul.