application aspect of diode, 5 assertions