validate if formalism is supported