inference and punning