User:Arveus/sandbox/Inferentialism