Trace: wp1 valid-ulb valid-ki