Fix up side condition theory