added SpecAssertions