[FEATURE] Singleton concept proof