Minimal assertion verification working.