Triviality arguments about computational implementation · Study