broccoli is eating pinhead, pinhead is eaten by broccoli