A proof of evolution in an elegant html5 model