Why even equals signs -- the arrow can just be read as "transform the lhs problem into the simpler rhs problem".