Working on blame theoreme with neutral element regarding join_app