Pattern Program Logic Explanation Synonym