Up | Japanese Equality of Functions (Examples)