inftheory: minor notes additions