Deductive Reasoning Wiki/Extensions