Assert

This is already mergeable, but it can be completed. Published mostly to trigger discussions.