Changed Machine->validte() to use Logic.