worked-out examples