Kant and Lindahl