3,madigan6: adding missing files