Add support for implications