Function over 

pub fn over(needs: Holds, device: Holds) -> Vec<Refusal>

Each resource needs takes past what device holds, named.