implement a two-watched-literal scheme