pushing program spec