added user interaction for choosing equivalent states