Prolifics and IBM