Operator implementation (for now only and) + rules implementation