Anti-correlation proof (for use in Laskowski's algorithm) added. New file structure.