Prospective Fault Current Formula