Rigorous Two Phase Locking