TY - GEN AU - Lucy,William TI - Abstraction and equality KW - Justicia ER -