Completed 5.3.3.2 Source symbol tuples