Performing calculations in ODK Build

Hi. Your advice for performing calculations in ODK build was really helpful. I wonder if you can help me verify if this constraint syntax in ODK build is correct. In this case Tested1st_HIVpos should be less than or equal to Tested_4HIV. Thank you,