Definition of Alfreds Code