Soundness theorem If we can find, g, r and g such that (T,r,g)≤(S,R,G) then we have TcsSoundness Theorem (T, r, g) ≲ (S, R, G) If we can find r, g, R and G such that then we have: T  S