added copyright header #2
renamed operators #2