theme: readable+*machine input
theme: readable