a + b = c