Constants for resolution