discussion:en:sa:formal_objects