Proper condition, because 3.0a < 3.0