Recurse implications
Basic Implications Unit Test