some slight progress; leaving off on defsender