Paper labels for options