Uses lists as identity, no longer need for groundrule/