if x then a else c