def Conjunction(expr1: Expression, expr2: Expression) -> Expression:
    """Return expression which is the conjunction of `expr1` and `expr2`."""
    expr = Expression(ast.BoolOp(ast.And(), [expr1.body, expr2.body]))
    return ast.fix_missing_locations(expr)