Capital letters must be used in toplevel specification.