Define with expanders

main definitions