More about fp semantics