public String toString() {return "NotIgnored(" + index + ")";}

public String toString ( ) { return "NotIgnored(" + index + ")" ; }
public override string ToString(){return "NotIgnored(" + index + ")";}
