completeness of operation application proved :)