Lainey's Logic