Och likväl var det så;