assertion of arguments and interactions possible. Base types still