implicit procedure

# aggregation_procedure