Specification generation works!