# Model definitions