RAM-HOL related domains (2)