English: proposition "If A, then B."
Telugu: ఆపరేషన్ "ఒక ఉంటే, అప్పుడు B."