Got stuck on a (not so small) technicality