Problem by Benson. For HCI BAPS 2017.