What is a cross-ribbed vault is
in progress.