Some comments on the main spec