restrict search space (needs proof!)