'0 to θ´f'									'0.to.Aθpc(POIp final)'					'L->H: msg_Lucas_to_HFLN_sol'
	'0 to θf'									'0.to.Aθoc(POIo final)'					'L->H: msg_Lucas_to_HFLN_sol'
	'0 to Of'									'0.to.Aθoc(POIo final)'					'L->H: needs explanation'
	'0 to Opf'									'0.to.Aθpc(POIp final)'					'L->H: needs explanation'
	'cos^2(O)'									'cos(Aθoc(POIo))^2'						'L->H: needs explanation'
	'cos^2(Oo)'									'cos(Aθoc(POIo))^2'						'L->H: needs explanation'
	'cos^2(Op)'									'cos(Aθpc(POIp))^2'						'L->H: needs explanation'
	'cos^3(Op)'									'cos(Aθpc(POIp))^3'						'L->H: needs explanation'
	'cos^4(O)'									'cos(Aθoc(POIo))^4'						'L->H: needs explanation'
	'cos^4(Oo)'									'cos(Aθoc(POIo))^4'						'L->H: needs explanation'
	'cos^4(Op)'									'cos(Aθpc(POIp))^4'						'L->H: needs explanation'
	'cos^6(O)'									'cos(Aθoc(POIo))^6'						'L->H: needs explanation'
	'cos^6(Oo)'									'cos(Aθoc(POIo))^6'						'L->H: needs explanation'
	'cos^6(Op)'									'cos(Aθpc(POIp))^6'						'L->H: needs explanation'
	'|Ei(ro - vo*t,t)|'						'EIods(POIp(t),t)'						'L->H: msg_Lucas  msg_abs'
	'|EIodv(POIo,t)|'							'EIods(POIo,t)'							'Hbad: msg_Lucas  msg_abs' 
	'|Ei(r - v*t,t)|'							'EIods(POIp(t),t)'						'L->H: msg_Lucas  msg_abs'
	'|Ei(r - v*t,t)|'							'EIods(POIp(t),t)'						'L->H: msg_Lucas  msg_abs'
	'|Ei(r - v*t,t)|'							'EIods(POIp(t),t)'						'L->H: msg_Lucas  msg_abs'
	'Ei(ro - vo*t,t)'							'EIodv(POIp(t),t)'						'Hbad: msg_Lucas  msg_abs'
	'|rov - vov*t|'							'Rpcs(POIp)' 								'L->H: msg_Lucas  msg_abs'
	'|rov - vo*t|'								'Rpcs(POIp)' 								'L->H: msg_Lucas  msg_abs'
	'|ro - vo*t|'								'Rpcs(POIp)'								'L->H: msg_Lucas  msg_abs'
	'|ros - vos*t|'							'Rpcs(POIp)'								'L->H: msg_Lucas  msg_abs'
	'ros - vos*t'								'Rpcs(POIp)'								'L->H: msg_Lucas_sol'
	'ros*cosOo - vos*t'						'??Rθpcs(POIp)??'								'L->H: msg_Lucas_sol'
	'rov - vo*t'								'Rpcv(POIp)'								'L->H: msg_Lucas_sol'
	'rov - vov*t'								'Rpcv(POIp)' 								'L->H: msg_Lucas_sol'
	'ro - vo*t'									'Rpcv(POIp)'								'L->H: msg_Lucas_sol'
	'ro - vot' 									'Rpcv(POIp)'								'L->H: msg_Lucas_sol'
	'|r - v*t|'									'Rpcs(POIp)' 								'L->H: msg_Lucas  msg_abs'
	'rs - vs*t'									'Rpcs(POIp)'								'L->H: msg_Lucas_to_HFLN_sol'
	'r - v*t'									'Rpcv(POIp)'								'L->H: msg_Lucas_to_HFLN_sol'
	'sin^2(Oo)'									'sin(Aθoc(POIo))^2'						'L->H: needs explanation'
	'sin^2(Op)'									'sin(Aθpc(POIp))^2'						'L->H: needs explanation'
	'sin^2(O)'									'sin(Aθoc(POIo))^2'						'L->H: needs explanation'
	'sin^3(Op)'									'sin(Aθpc(POIp))^3'						'L->H: needs explanation'
	'sin^4(Oo)'									'sin(Aθoc(POIo))^4'						'L->H: needs explanation'
	'sin^4(Op)'									'sin(Aθpc(POIp))^4'						'L->H: needs explanation'
	'sin^4(O)'									'sin(Aθoc(POIo))^4'						'L->H: needs explanation'
	'sin^6(Oo)'									'sin(Aθoc(POIo))^6'						'L->H: needs explanation'
	'sin^6(Op)'									'sin(Aθpc(POIp))^6'						'L->H: needs explanation'
	'sin^6(O)'									'sin(Aθoc(POIo))^6'						'L->H: needs explanation'
	'vovrpv' 									'Vonv_X_Rpcv(POIo(t),t)'				'L->H: msg_Lucas_sol'
	'vr' 										'Vonv_X_Rpcv(POIo(t),t)'				'L->H: msg_Lucas_to_HFLN_sol'