resolutioner : 1 .)