Appendix:Lojban/sat