Totality annotations