made some progress here, but we have this corner case that doesn't make
sense