Lojban/Extensions