Text this: Fixed point theorems for a sum of two mappings in locally convex spaces