Table assertions and matching