These constants are repeated from above.