Mas como quiera que fuese,