$forall entry <- entries
1. ^{hEntry entry}