Reasoning AND Smushing
Common descendants