Mention core.logic
Close </ul>