sa:en:3d_formal_models