shu--hung
2021-5-2 02:44:27

For “well-formed”, why not check some logic text books?