sa:2d_formal_frames