← Functional Specification for Single-Phase …