hoch|=kant