diff --git a/src/Components/MPS.jl b/src/Components/MPS.jl
index 154e2d12d..d4971a5a2 100644
--- a/src/Components/MPS.jl
+++ b/src/Components/MPS.jl
@@ -209,5 +209,5 @@ end
 maxbondsize(psi::MPS) = maximum(bondsizes(psi; sorted=false))
 
 function Base.show(io::IO, psi::MPS)
-    print(io, "MPS (#tensors=$(ntensors(psi)), #inds=$(ninds(psi)) #maxbondsize=$(maxbondsize(psi)))")
+    print(io, "MPS (#tensors=$(ntensors(psi)), #inds=$(ninds(psi)), maxbondsize=$(maxbondsize(psi)))")
 end
diff --git a/src/Operations/evolve.jl b/src/Operations/evolve.jl
index 466395ecb..356de2d2a 100644
--- a/src/Operations/evolve.jl
+++ b/src/Operations/evolve.jl
@@ -11,6 +11,7 @@ struct ZipUpAlgorithm <: EvolveAlgorithm end
 
 function evolve! end
 
+evolve(tn, op; kwargs...) = evolve!(copy(tn), op; kwargs...)
 evolve!(tn, op; kwargs...) = evolve!(tn, op, DelegatorTrait(Evolvable(), tn); kwargs...)
 evolve!(tn, op, ::DelegateToField; kwargs...) = evolve!(delegator(Evolvable(), tn), op; kwargs...)
 evolve!(tn, op, ::DontDelegate; algorithm=UnknownAlgorithm(), kwargs...) = evolve!(algorithm, tn, op; kwargs...)
diff --git a/src/Operations/expect.jl b/src/Operations/expect.jl
new file mode 100644
index 000000000..fe94bb60f
--- /dev/null
+++ b/src/Operations/expect.jl
@@ -0,0 +1,91 @@
+"""
+Expectation value for a one-site operator `op` on site `op_site` of mps `psi`, brings `psi` to canonical form.
+"""
+function expect_1site_can!(psi::MPS, op::AbstractArray, op_site::Int)
+    canonize!(psi, MixedCanonical(site"$(op_site)"))
+    plug_ind = ind_at(psi, plug"$(op_site)")
+    temp_ind = Index(:_temp_bra)
+    ev = binary_einsum(psi[op_site], Tensor(op, [temp_ind, plug_ind]))
+    ev = binary_einsum(ev, conj(replace(psi[op_site], plug_ind => temp_ind)))
+
+    return ev
+end
+
+"""
+Expectation value for a one-site operator `op` on site `op_site` of mps `psi`.
+This makes a copy of the MPS
+"""
+function expect_1site(psi::MPS, op::AbstractArray, op_site::Int)
+    if CanonicalForm(psi) isa MixedCanonical
+        expect_1site_can!(psi, op, op_site)
+    elseif CanonicalForm(psi) isa NonCanonical
+        ev = Tensor(1.0)
+        for jj in 1:(op_site - 1)
+            ev = binary_einsum(ev, psi[jj])
+            ev = binary_einsum(ev, conj(psi[jj]))
+        end
+        ev = binary_einsum(ev, psi[op_site])
+
+        temp_ind = Index(:_temp)
+        plug_ind = ind_at(psi, plug"$(op_site)")
+        ev = replace(binary_einsum(ev, Tensor(op, [temp_ind, plug_ind])), temp_ind => plug_ind)
+        ev = binary_einsum(ev, conj(psi[op_site]))
+        for jj in (op_site + 1):nsites(psi)
+            ev = binary_einsum(ev, psi[jj])
+            ev = binary_einsum(ev, conj(psi[jj]))
+        end
+        ev
+    else
+        error("Not implemented yet")
+    end
+end
+
+function expect_1site_alt(psi::MPS, op::AbstractArray, op_site::Int; kwargs...)
+    fallback(overlap)
+    phi = resetinds!(conj(psi))
+    align!(psi, :outputs, phi, :outputs)
+    temp_ind = Index(:_temp)
+    plug_ind = ind_at(psi, plug"$(op_site)")
+    phi[op_site] = replace(phi[op_site], plug_ind => temp_ind)
+    tn = GenericTensorNetwork()
+    push!(tn, Tensor(op, [plug_ind, temp_ind]))
+    append!(tn, all_tensors(psi))
+    append!(tn, all_tensors(phi))
+    return contract(tn; kwargs...)
+end
+
+"""
+zipper contraction for MPS-MPO-MPS. Does *not* conjugate anything as of now
+"""
+function zipcontract(psi::MPS, o::MPO, phi::MPS)
+    resetinds!(o)
+    resetinds!(phi)
+    align!(psi, :outputs, o, :inputs)
+    align!(o, :outputs, phi, :outputs)
+
+    result = Tensor(1.0)
+    for i in 1:nsites(psi)
+        result = binary_einsum(result, psi[i])
+        result = binary_einsum(result, o[i])
+        result = binary_einsum(result, phi[i])
+    end
+
+    only(result)
+end
+function zipcontract(psi::MPS, phi::MPS)
+    resetinds!(phi)
+    align!(psi, :outputs, phi, :outputs)
+
+    result = Tensor(1.0)
+    for i in 1:nsites(psi)
+        result = binary_einsum(result, psi[i])
+        result = binary_einsum(result, phi[i])
+    end
+
+    only(result)
+end
+
+# TODO fix interface:  expect(psi, o) or expect(o, psi) ? 
+function expect(psi::MPS, o::MPO)
+    zipcontract(psi, o, conj(psi))
+end
diff --git a/src/Operations/overlap.jl b/src/Operations/overlap.jl
index 6c8d32adf..3396cf934 100644
--- a/src/Operations/overlap.jl
+++ b/src/Operations/overlap.jl
@@ -2,6 +2,9 @@ using DelegatorTraits: fallback
 
 function overlap end
 
+"""
+Computes overlap <ϕ|ψ> between two states, ** conjugates the second input state **
+"""
 function overlap(ψ, ϕ; kwargs...)
     fallback(overlap)
     ϕ = resetinds!(conj(ϕ))
diff --git a/src/Tenet.jl b/src/Tenet.jl
index 731feb422..0fafb3152 100644
--- a/src/Tenet.jl
+++ b/src/Tenet.jl
@@ -77,6 +77,8 @@ include("Operations/entropy.jl")
 
 include("Operations/sample.jl")
 
+include("Operations/expect.jl")
+
 include("Algorithms/DMRG.jl")
 import .DMRG: dmrg!