Python3 for reals