used across for assertion