Kernel Existence, Pauly, Green Lake Project