Added two helper assertions