Definition:Cocountable