Added working strict 2pl implementation