$ADA může být prázdný