Function/Finitely many values/No staircase function/Exercise