The judgment of transitive binary relation
style fixed