The r0ach report 25: Computer science proves the existence of a va...