formal > typed > untyped > unsound > vibed