add assements for WK5