Legal Logics - Smart Legal Documents