Completed and def-ed main