If [math],
then [math]