thanks for finding a case where my assumption was false!