Давай я переформулирую свой вопрос
Как работает требование доказательства, что что-то *не* работает, если по идее доказывать нужно, что что-то *работает*?
Или по-другому: верно ли, если нет доказательств, что что-то работает, считать, что оно не работает?