update the specifications so they are more expressive