Astrophysical: Galaxy formation