use Local Instance in PropositionalFracture