We could have that with XHTML+DTDs...