defining a trivial permissive machine