updated list of facts, minor correction to decomp writeup