Opening Logic Refined…