Wyślij wiadomość: Generalisation through negation and predicate invention