✏️ Editing: RandvalInterface.php