Ex6 f5xS and f5xP examples adopted to demoing transactionality