Fix bug in aCond, add example, complete readme.