Här hade förelegat tvenne alternativ,