forget it. Turns out this is valid, too.