1 CAT = 1 SAT 🐱 $jam $popcat $nub