Text this: The spaces OM and OC are ultrabornological a new proof