To do  : implementation of assoc for Z, and testing