"assertions" - key terms from Wikipedia