discussion:formal_systems