Complete Deductive: In practice