s/‘’/``/g. Added +,-,* qualifiers to ideas. Some retouches here and there.