Theoretical computer scientists, what can we do with composable cel...