Notes concerning “Virtual machines”