Incomplete desire synthesis