Companion to the Higher Grammar