Added unfinished Equiv.
Added Hoare.