Preconditions
README updates for quiver.check