One true Logic