generalizing
load tla not pow