Extracting constants