You are searching for assertions