field aspect of inductor, 4 assertions