Vissa funktioner kan vara svåra att beskriva och svåra att verifiera .