Beta_reduction loading ...