Whats a lojbanic number for 1?