Cleaned up `Expr0`