some ideas about possible assertions