Post

a tutorial and reference
and their oracle properties...