tidied assertions