strip implication starting to work!