introduce abstract states for each side of the Rubikon