constrain wai > 3