Documented (in-code comments) WFA