Vafa-Witten

#todo/untagged #todo/add-references