assert true in 0..1