added the bottom up proof methods
disallow Mast type in content