Computational systems as higher-order mechanisms · Study