@neander-squirrel: Reply to Push