hi:discussion:en:3d_formal_models