T1158: let's pretend this is a solution.