way of writing PAutomaC corrected