July 1, 2016

ASSERTIONS BASED ON RECENTLY CHANGED CODE