Lughet
primitive logical formulas — English to Chinese Translation | Lughet