Proof Category: Expressions Dance