assertion howto