deriving correctly Synonym