Diff must look great with Polis.
Use representative code to implement and verify the correctness of Polis.