I've been lurking from the beginning and I'm still not sure what the definition of a "marker" is. Could someone explain it to me? Also, what is the difference between the qproofs you've all been creating for a while now and this new keystone thing. I don't get it.