@code
if (a < b) && (x <= y)
@/code