Verified [patched]: Free Transangels