Extract functions for assertions