ImplicationInterface fix