Candidates for lol-calculus