sa:formal_objects