Use default margins for witness