sa:discussion:en:formal_systems