$PIPPIN is going as expected.