but if it doesn't, that ^ is structurally valid