Notes concerning “Programming by example”