Add some definitions