heaven avenges our martyrs sinzi icyo gukora kuri the valves input is the control signal the theorems may not be their official names