Ok to spike into Z3?