playing with assertion basis and domains