value aspect of inductor, 11 assertions