This book develops a unified theory of non-canonical case and agreement patterns that have remained elusive so far. Drawing from a wide range of typologically non-related languages, it sets forth the claim that the phenomena under discussion involve abstract deletion operations which interact with other grammatical operations in intricate but highly systematic ways. This interplay is shown to give rise to seemingly non-related surface phenomena, thus integrating these phenomena within a more general framework of argument encoding.