Check these also

3.2.2 On Input

Read previous case

3.2.4 Consistent Identification

Read next case