Improved domain specifications