Realisability and Adequacy for (Co)induction