Utility implementations for assumptions, sequences, tabes, options and level specifications.