function aspect of appendix, 5 assertions