Basic resolution. Repeating literals unchecked. Working test case.