Assuming constant domain semantics, for each formula give a validity proof if it is valid and a countermodel if it is invalid. Indicate whether and how the formulas status would change with varying domains.