Add logic vocabulary