First translation of baby-steps