Title: Specification notes