Definition:

pintos