en:3d_formal_models