Made seperations in logic