Lazy Information Notation