Solomon's Proof related domains (1)