There is no assert statement :-(