PVS demonstration. Nothing is around the corner...