Simplify x-3 . X0

That can't be simplified.