theproofallishere еще не имеет доступных изданий.