If/while conditions syntactically must have relational operations