> a could equal b

Why not use "restrict" in this case?