Would freedom, logic, and philosophy be possible for a domain?