Proven standard related domains (2)