>= not allowed!