| Given the input from Piers and Nick, I think: | | // [MonoTODO] | // public int Count { | // get { | // throw new NotImplementedException (); | // } | // } | This is fine. Nick D.