Characteristic predicate SingletonBlock :: SingletonBlock