Make a Cyclic Quadrilateral

The dotted yellow lines are the angle bisectors of the interior angles of a quadrilateral. Their intersections form a new quadrilateral. Drag the yellow dots. Conjecture(s)? Proof(s)? Extension(s)? What questions could/would you pose to your students based on this applet ?
Adapted from a challenge by Alsina & Nelson