the sum of two proper convex functions is convex but not necessarily proper he calls the alleged spaceships beamships from plejaren