Test assertions 12.1, 7.5, 7.6, 7.7 submissions

This should be inside <head>.