Overview for side-effects-guaranteed