Expresses unknown node voltages as variables