I think we should use this notation `[0..1]`