Definitions imported from JSON