If [math] then [math] .