Assert

r? @graydon