Before revision:  Membership of a given structure to any of the classes can be tested in \Theta(n) time, including the generation of a solution sequence for 2 Jozef Hale\v{s positive instances.
After revision:  Membership of a given structure to any of the classes can be tested in \Theta(n) time, including the generation of a solution sequence for positive instances.