energy aspect of pointer, 4 assertions