1namespace jive
2{
3  public interface SubjectOf<in State> where State : jive.State
4  {
5    void change_state_to(State new_state);
6  }
7}