Title: The semantic of CFM