(>) wrong assert