Detta skulle vi tro är axiomatisktklart