એટલે કે, શાબ્દિક મંગળ હરીફ છે.