Domain logic complete