If [math] then [math]