All following comments come from Tomas Bazant: