conjecture

From LSJ