Proof through actions