deriving logically Synonym