the structural completion of a basement .