practice -- 6.3.3 Some conditions for ImSg to work -- 6.4 The expected context of use --