Pattern Program Logic Explanation