Matrix unloaded: binding in a local derivational approach · Study