Ariel x - ràng buộc và ràng buộc