Formal Luke