infinity first clause (same below)