ruler and rock pun