WYIL: working through the verification transformer.