notes-simplicity
failingToSimplify