# of literals:
(should be 2)