some notes on inf lists