Further work on operators