@gregelevin proof, no minions!