... It's a good thing that ... coll.: It's fortunate that ...