## § Dumb mnemonic for remembering adjunction turnstile

• The left side of the adjunction F wants to "push the piston" on the right side, so it must be F -| G where -| allows F to "crush" G with the flat surface |.