implement ensure(x ~== y)
document ~==