I share Robert's queasiness and also think that we want ASDF to support these sorts of dependencies (simple, weak, contingent, etc... (?)). I'm going to update the manual with James's table (thanks James!) in the hopes of giving us a place to hang our collective hats.