Fix AND bug in lithium