ליצור גרסה מורכבת יותר של המשפט הזה ביולי 1994, ויי סו במערכות מידע אמינות המשיך את המחקר הזה.
כמובן, גרסה מורכבת יותר של המשפט היא "ביולי 1994, ויי סו במערכות מידע אמינות המשיך במחקר הזה, אשר הושלם בהצלחה על BSDI".