Title: Consistent specifications