user->flights >= $parameter; } }