Quartering Assume