Change Eventually Perfect FD into description from pdf. handling of timeout is different so needs discussion