Separated definitions