Building Logical Muscles Through Code