rich>=10.0
