Standard Negation by Matti Miestamo