Specification files we designed