Added optional proposition variable to header