MBT first implementation