LK Proof figure macros
