Seol mar théacs é seo: Ought implies Kant