Misfeed: When Z3 is displayed