bug
15 passes, but only cuz it's the trivial case