add all type testing procedures