base aspect of prism, 1 assertions