Title: Specification theory