assertions are now composable