User talk:Logicredefined