Constraint on Bavayllo