inverse complete
add inverse for W