theme: simplex+*machine input