A formal inquiry