Second revision of lab #7

Finish up summation process, start implementation of repeating identity
predicate