private static bool IsValidBinNumber(string number) { Contract.Requires(number[0] == '%'); return IsValidNumber(number, c => c == '0' || c == '1', true); }