added lists
added 'implies' (it is basically 'if-else')