operator Logic