axiomgate_kernel
