kant rewritten