separation by linear inequality