problemspec document