adding KASSERTS