Prog spec