Bad pun, happy St. Patrick’s Day to all