Conclusion-based procedure for judgment aggregation satisfying premise independence