simplify Maera->requires()