[satisfy.bmp]