add initial kwant formula