paper: add problem def.