More assertions on assoc