6.11 IMPLY/INFER