vinay - everything synthesizable, II=411