Problems from Kant