Changed example for carnot