Add asserts for W>0 and F>0