def mfj(p): return And(fam.is_married(p), tax_status(p) == "Married filing jointly")
def mfs(p): return And(fam.is_married(p), tax_status(p) == "Married filing separately")
def filing_single(p): return And(Not(fam.is_married(p)), tax_status(p) == "Single")