use aspect of ect, 3 assertions