One true Logic (The Reasoner, 2022)