Added 'implies' section