Assert = if not ... then ;)