Fixed specification
Specify types