expose ensures_