Text this: EXTENSION METHODS FOR NULLNORMS ON BOUNDED LATTICES.