applied profound understand of PL semantics to count applicants properly