CoqEAL related domains (1)