Analogproofs related domains (1)