Domain d4aiga_: 4aig A: