precise mandatory conditions
add a space after the arrow
refined mandatory condition