computation Non-trivial Extensional Language Property An extensional language property that is non-trivial.